More from this Author

Handbook of Tableau Methods

by M. D'Agostino (Editor), Dov M. Gabbay (Editor), Reiner Hähnle (Editor), Joachim Posegga (Editor)

Tests and Proofs

by Bernhard Beckert (Editor), Reiner Hähnle (Editor)

Machine Learning for Dynamic Software Analysis: Potentials and Limits

by Amel Bennaceur (Editor), Reiner Hähnle (Editor), Karl Meinke (Editor)

Automated Reasoning

by Jürgen Giesl (Editor), Reiner Hähnle (Editor)

Formal Methods for Components and Objects

by Elena Giachino (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)

Formal Methods for Components and Objects

by Elena Giachino (Editor), Reiner Hähnle (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)

Fundamental Approaches to Software Engineering

by Reiner Hähnle (Editor), Wil M. P. van der Aalst (Editor)

Deductive Software Verification - the KeY Book

by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Mattias Ulbrich (Editor)

Leveraging Applications of Formal Methods, Verification, and Validation

by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)